#include "vgastr.h"

void _strwrite(char *string) {
    char *p_strdst = (char*)(0xb8000);
    while (*string) {
        *p_strdst = *string++;
        p_strdst += 2;
    }
}

void printf(char *fmt, ...) {
    _strwrite(fmt);
}